Works by Peter B. Andrews

( view other items matching `Peter B. Andrews`, view all matches )
8 found
Order:
Disambiguations
Peter B. Andrews [9]Peter Bruce Andrews [2]
  1.  78
    Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  2.  84
    General models and extensionality.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):395-397.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  3.  77
    General models, descriptions, and choice in type theory.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):385-394.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  30
    A transfinite type theory with type variables.Peter Bruce Andrews - 1965 - Amsterdam,: North-Holland Pub. Co..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  31
    TPS: A hybrid automatic-interactive system for developing proofs.Peter B. Andrews & Chad E. Brown - 2006 - Journal of Applied Logic 4 (4):367-395.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  27
    (1 other version)Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Mathematical Logic Quarterly 20 (25‐27):411-418.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  30
    Resolution and the consistency of analysis.Peter B. Andrews - 1974 - Notre Dame Journal of Formal Logic 15 (1):73-84.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  87
    Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark